procedural device - German English Dictionary